Finite-state machine - PDFSEARCH.IO - Document Search Engine

Finite-state machine
Results: 655

#	Item
541	The Tempo Language User Guide and Reference Manual Nancy A. Lynch, Stephen J. Garland, Dilsun Kaynar, Laurent Michel, Alex Shvartsman Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Tec Add to Reading List Source URL: www.veromodo.com Language: English - Date: 2011-10-24 14:32:42 Applied mathematics Models of computation Computer science Model checking Finite-state machine Formal language Algorithm Theoretical computer science Automata theory Mathematics
542	Theory Comput. Systems 35, 483–[removed]DOI: [removed]s00224[removed]Theory of Computing Systems Add to Reading List Source URL: www.psrg.lcs.mit.edu Language: English - Date: 2007-02-01 15:29:54 Turing machine Computer science Computability theory Formal methods Universal Turing machine Qi Combinatory logic Finite-state machine Algorithm Theoretical computer science Theory of computation Models of computation
543	CS345: Theory of Computation Class schedule & room: Time: Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-04-10 18:04:10 Theory of computation Models of computation Computer science Context-free language Recursively enumerable language Finite-state machine Regular language Deterministic finite automaton Nondeterministic finite automaton Formal languages Theoretical computer science Automata theory
544	Conjunctive Queries for EL with Role Composition Markus Krötzsch and Sebastian Rudolph Institute AIFB, Universität Karlsruhe, Germany {mak\|sru}@aifb.uni-karlsruhe.de Abstract. EL++ is a rather expressive description l Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Computer science Mathematics Conjunctive query Nondeterministic finite automaton Deterministic finite automaton Structure Algorithm Computational complexity theory Finite-state machine Automata theory Models of computation Theoretical computer science
545	Dependency Tree Automata Colin Stirling [removed] Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-12-22 09:12:53 Computer science Model checking Finite-state machine Tree automaton End Model theory Simply typed lambda calculus Graph Configuration graph Theoretical computer science Automata theory Mathematics
546	A Hybrid State Machine Notation for Component Specification Alexander Sakharov [removed] Add to Reading List Source URL: sakharov.net Language: English - Date: 2008-05-18 20:05:46 Software Diagrams Automata theory Digital electronics Formal methods Finite-state machine State diagram Unified Modeling Language Lexical analysis Models of computation Computing Software engineering
547	 Bayfront CAPE Tools Add to Reading List Source URL: www.bayfronttechnologies.com Language: English - Date: 2007-08-26 13:46:54 Computer networking Communications protocol Data transmission Protocols Server OSI model Finite-state machine Computing Data Information
548	[removed]Problems A problem (in Computer Science) specifies an input/output relationship, P  I  O. Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:15 Models of computation FO Finite model theory Computability theory Formal methods P Time complexity Finite-state machine Turing machine Theoretical computer science Applied mathematics Complexity classes
549	Microsoft Word - LCC '05.doc Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:06 Computer science Automata theory Computability theory Formal methods Turing machine Pointer machine Finite-state machine Monad Computability Theory of computation Models of computation Theoretical computer science
550	Applying automata and games to simply typed lambda calculus Colin Stirling Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-02-25 10:42:23 Computer science Models of computation Formal methods Model checking Simply typed lambda calculus Lambda calculus Finite-state machine Model theory ALGOL Theory of computation Theoretical computer science Automata theory

UPDATE